infimum and supremum